A theory of robust software synthesis
نویسندگان
چکیده
A key property for systems subject to uncertainty in their operating environment is robustness, ensuring that unmodelled, but bounded, disturbances have only a proportionally bounded effect upon the behaviours of the system. Inspired by ideas from robust control and dissipative systems theory, we present a formal definition of robustness and algorithmic tools for the design of optimally robust controllers for ω-regular properties on discrete transition systems. Formally, we define metric automata —automata equipped with a metric on states— and strategies on metric automata which guarantee robustness for ω-regular properties. We present fixed point algorithms to construct optimally robust strategies in polynomial time. In contrast to strategies computed by classical graph theoretic approaches, the strategies computed by our algorithm ensure that the behaviours of the controlled system gracefully degrade under the action of disturbances; the degree of degradation is parameterized by the magnitude of the disturbance. We show an application of our theory to the design of controllers that tolerate infinitely many transient errors provided they occur infrequently enough.
منابع مشابه
Robust Model for Networked Control System with Packet Loss
The Networked Control System in modern control widely uses to decrease the implementation cost and increasing the performance. NCS in addition to its advantages is inevitable. Nevertheless they suffer of some limitations and deficiencies. Packet loss is one of the main limitations which affect the control system in different conditions and finally may lead to system instability. For this reason...
متن کاملFe3O4-chitosan nanoparticles as a robust magnetic catalyst for efficient synthesis of 5-substituted hydantoins using zinc cyanide
In this paper, Fe3O4-chitosan nanoparticles were prepared by the immobilization of chitosan on the surface of Fe3O4 nanoparticles. Then, the 5-substituted hydantoins were synthesized from the condensation of aldehyde derivatives, ammonium carbonate and zinc cyanide as a well-known cyanating agent by the magnetic Fe3O4-chitosan nanoparticles under neat conditions. Fe3O4-Chitosan nanocatalyst as ...
متن کاملFe3O4-chitosan nanoparticles as a robust magnetic catalyst for efficient synthesis of 5-substituted hydantoins using zinc cyanide
In this paper, Fe3O4-chitosan nanoparticles were prepared by the immobilization of chitosan on the surface of Fe3O4 nanoparticles. Then, the 5-substituted hydantoins were synthesized from the condensation of aldehyde derivatives, ammonium carbonate and zinc cyanide as a well-known cyanating agent by the magnetic Fe3O4-chitosan nanoparticles under neat conditions. Fe3O4-Chitosan nanocatalyst as ...
متن کاملRobust Controller Design for IG Driven by Variable-Speed in WECS Using μ-Synthesis
This paper presents robust controller design for a wind-driven induction generator system using structured singular value ( -synthesis) method. The controller was designed for a static synchronous compensator (STATCOM) and a variable blade pitch angle in a wind energy conversion system (WECS) in order to achieve the required voltage and mechanical power control. The results indicated that this ...
متن کاملPbWO4 nanoparticles: A robust and reusable heterogeneous catalyst for the synthesis of benzopyranopyridines under ultrasonic irradiation
An efficient four-component synthesis of benzopyranopyridines is described by one-pot condensation of salicylaldehydes, thiols and 2 equiv of malononitrile with nano-PbWO4 as a robust and reusableheterogeneous catalyst under ultrasonic irradiation. Lead tungstate (PbWO4) nanostructures have been synthesized via a sonochemical method based on the reaction between l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1108.3540 شماره
صفحات -
تاریخ انتشار 2011